From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Getting Started with Text Mining in R and Python: Origins, Applications, and Real-World Case Studies
dev.toยท11hยท
Discuss: DEV
๐Ÿ“„Text Mining
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท18h
๐ŸŽฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Ÿ“Text Parsing
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท1hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
What are you doing this weekend?
lobste.rsยท3hยท
Discuss: Lobsters
๐Ÿ“ŠStatic Analysis
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท7hยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท3hยท
๐Ÿ—‚Data structures
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
๐Ÿ’งLiquid Types
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.toยท5hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐Ÿ’ปProgramming languages
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท42m
โšกProof Automation
Flag this post
Llmtext โ€“ an open source toolkit for llms.txt adoption
llmtext.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post